-
1 разделимая логика
separable logic мат.Русско-английский научно-технический словарь Масловского > разделимая логика
-
2 разделимая логика
Mathematics: separable logic -
3 задача
mission, objective, problem, proposition, task* * *зада́ча ж.
problem, task, jobвводи́ть зада́чу в вычисли́тельную маши́ну — load a computerзада́ча на … — a problem on [in] …постано́вка зада́чи — statement of a problemпо усло́виям зада́чи — under the conditions [statement] of the problemреша́ть зада́чу на вычисли́тельной маши́не — solve [run] a problem on a computerста́вить зада́чу — state a problemста́вить зада́чу найти́ х — seek to find xуточня́ть зада́чу — refine the (formulation of a) problemформули́ровать зада́чу — formulate a problemбухга́лтерская зада́ча — accounting problemвариацио́нная зада́ча — variational problemвычисли́тельная зада́ча — computational, problemграни́чная зада́ча — boundary(-value) problemзада́ча двух тел астр. — two-body problemзада́ча Дирихле́ мат. — Dirichlet's problemконтро́льная зада́ча — check [test] problemзада́ча Коши́ мат. — Cauchy problemкраева́я зада́ча — boundary(-value) problemлоги́ческая зада́ча — logic problemзада́ча на нахожде́ние со́бственных значе́ний — eigenvalue problemнестациона́рная зада́ча — non-stationary problemобра́тная зада́ча — inverse problemзада́ча о четвё́ртой то́чке геод. — three-point problem, three-point intersection, trilinear surveyingпло́ская зада́ча — plane problemпоста́вленная зада́ча — a problem put by …прикладна́я зада́ча — applied problemзада́ча прогнози́рования — prediction problemпряма́я зада́ча — primal problemразреши́мая зада́ча — solvable problemзада́ча регули́рования — control problemзада́ча с нача́льными усло́виями — initial-value problemзада́ча с подвижно́й грани́цей — moving-boundary problemзада́ча с разделя́ющимися переме́нными — a problem with variables separableзада́ча с реше́нием, уче́бная — worked example, worked problemтеку́щая зада́ча — current taskтра́нспортная зада́ча — traffic [transportation] problemтра́нспортная зада́ча с крите́рием вре́мени — time traffic [transportation] problem* * * -
4 задача
См. также в других словарях:
Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… … History of philosophy
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Effectively separable — In computability theory, two sets of natural numbers are effectively separable if it is possible to separate the sets with a computable set, and effectively inseparable otherwise. Formal definitionLet A and B be disjoint sets of natural numbers.… … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Aristotle — /ar euh stot l/, n. 384 322 B.C., Greek philosopher: pupil of Plato; tutor of Alexander the Great. * * * born 384, Stagira died 322 BC, Chalcis Greek philosopher and scientist whose thought determined the course of Western intellectual history… … Universalium
Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers … Wikipedia
Quantum entanglement — Quantum mechanics Uncertainty principle … Wikipedia
Aristotelianism — /ar euh steuh teel yeuh niz euhm, tee lee euh , euh ris teuh /, n. 1. the philosophy of Aristotle. 2. emphasis upon deduction and upon investigation of concrete and particular things and situations. [1835 45; ARISTOTELIAN + ISM] * * *… … Universalium
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
